Configuring the art object in the age of digital computing: meaning, intentionality and virtualization

This paper highlights the art object nature as a theoretical anchor regarding contemporary virtual art, as well as traditional art practices, like painting. The analysis takes as a starting point the new immaterial status of the artistic object in the computer age. Despite the widespread prevalence in the analysis, our goal is to detach some key features as: meaning, intentionality and virtualization. These subjects prove to be related to each other and most of all, the link between intentionality and virtualization, brings forward the inconclusive nature of the art object and the decisive role of the spectator in the outcome of the creative process. Therefore, we acknowledge that the virtual fosters creativity, although remarking the lack of substance in some expressions of new media art. So, a final statement reassesses the importance of traditional practices, but now with the awareness of new media cultural logic, and its contribution to creation

Checking for choreography conformance using spatial logic model-checking

We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance propertie

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge propagation, usually they do not provide a general language for expressing arbitrary properties involving local knowledge and knowledge transfer. Building on this observation, we introduce a framework for security protocol analysis based on dynamic spatial logic specifications. Our computational model is a variant of existing pi-calculi, while specifications are expressed in a dynamic spatial logic extended with an epistemic operator. We present the syntax and semantics of the model and logic, and discuss the expressiveness of the approach, showing it complete for passive attackers. We also prove that generic Dolev-Yao attackers may be mechanically determined for any deterministic finite protocol, and discuss how this result may be used to reason about security properties of open systems. We also present a model-checking algorithm for our logic, which has been implemented as an extension to the SLMC system.Comment: In Proceedings SecCo 2010, arXiv:1102.516

Apoptotic Cells Contribute to Melanoma Progression and This Effect is Partially Mediated by the Platelet-Activating Factor Receptor

There is evidence that the platelet-activating factor receptor (PAFR) is involved in the clearance of apoptotic cells by macrophages, and that this is associated with anti-inflammatory phenotype. Our group has previously shown that coinjection of a large number of apoptotic cells can promote tumor growth from a subtumorigenic dose of melanoma cells. Here, we studied the involvement of the PAFR in the tumor growth promoting effect of apoptotic cells. A sub-tumorigenic dose of melanoma cells (Tm1) was coinjected with apoptotic Tm1 cells, subcutaneously in the flank of C57Bl/6 mice, and the volume was monitored for 30 days. Animals received the PAFR antagonists, WEB2170 or PCA4248 (5 mg/kg body weight) or vehicle, by peritumoral daily injection for 5 days. Results showed that PAFR antagonists significantly inhibited the tumor growth induced by the coinjection of a sub-tumorigenic dose of melanoma cells together with apoptotic cells. This was accompanied by inhibition of early neutrophil and macrophage infiltration. Addition of (platelet-activating factor) to this system has no significant effect. PAFR antagonists did not affect the promoting effect of carrageenan. We suggest that the recognition of apoptotic cells by phagocytes leads to activation of PAFR pathways, resulting in a microenvironment response favorable to melanoma growth

Apoptotic Cells Contribute to Melanoma Progression and This Effect is Partially Mediated by the Platelet-Activating Factor Receptor

There is evidence that the platelet-activating factor receptor (PAFR) is involved in the clearance of apoptotic cells by macrophages, and that this is associated with anti-inflammatory phenotype. Our group has previously shown that coinjection of a large number of apoptotic cells can promote tumor growth from a subtumorigenic dose of melanoma cells. Here, we studied the involvement of the PAFR in the tumor growth promoting effect of apoptotic cells. A sub-tumorigenic dose of melanoma cells (Tm1) was coinjected with apoptotic Tm1 cells, subcutaneously in the flank of C57Bl/6 mice, and the volume was monitored for 30 days. Animals received the PAFR antagonists, WEB2170 or PCA4248 (5 mg/kg body weight) or vehicle, by peritumoral daily injection for 5 days. Results showed that PAFR antagonists significantly inhibited the tumor growth induced by the coinjection of a sub-tumorigenic dose of melanoma cells together with apoptotic cells. This was accompanied by inhibition of early neutrophil and macrophage infiltration. Addition of (platelet-activating factor) to this system has no significant effect. PAFR antagonists did not affect the promoting effect of carrageenan. We suggest that the recognition of apoptotic cells by phagocytes leads to activation of PAFR pathways, resulting in a microenvironment response favorable to melanoma growth

Corrosion resistance and antibacterial properties of copper coating deposited by cold gas spray

This work describes the morphology, corrosion resistance, and antibacterial performance of copper coating deposited onto carbon steel by cold gas spray (CGS). Cross-sectional images of the coating showed a dense microstructure, with porosity lower than 1%. XRD analysis revealed no oxides or phases different to pure copper. The results of electrochemical tests demonstrated the efficient barrier properties and the compact microstructure of the coating, which protected the substrate against corrosion in chloride solution for > 1000 h. The copper coating was effective as an antimicrobial agent for inhibiting the growth of Staphylococcus aureus, with bacterial growth being completely inhibited after 10 min of direct contact between the bacteria and the coating surface

Foundations of Session Types and Behavioural Contracts

International audienceBehavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns of interaction using expressive type languages, so that types can be used to determine automatically whether the component interacts correctly with other components. Two related important notions of behavioural types are those of session types and behavioural contracts. This paper surveys the main accomplishments of the last twenty years within these two approaches

Linoleic acid improves PIEZO2 dysfunction in a mouse model of Angelman Syndrome

Angelman syndrome (AS) is a neurogenetic disorder characterized by intellectual disability and atypical behaviors. AS results from loss of expression of the E3 ubiquitin-protein ligase UBE3A from the maternal allele in neurons. Individuals with AS display impaired coordination, poor balance, and gait ataxia. PIEZO2 is a mechanosensitive ion channel essential for coordination and balance. Here, we report that PIEZO2 activity is reduced in Ube3a deficient male and female mouse sensory neurons, a human Merkel cell carcinoma cell line and female human iPSC-derived sensory neurons with UBE3A knock-down, and de-identified stem cell-derived neurons from individuals with AS. We find that loss of UBE3A decreases actin filaments and reduces PIEZO2 expression and function. A linoleic acid (LA)-enriched diet increases PIEZO2 activity, mechano-excitability, and improves gait in male AS mice. Finally, LA supplementation increases PIEZO2 function in stem cell-derived neurons from individuals with AS. We propose a mechanism whereby loss of UBE3A expression reduces PIEZO2 function and identified a fatty acid that enhances channel activity and ameliorates AS-associated mechano-sensory deficits.This work was supported by the Neuroscience Institute at UTHSC (Research Associate Matching Salary Support to J.L.), the Federico Baur endowed chair in Nanotechnology (to F.J.S.-V., 0020206BA1), a pilot research award from the Foundation for Prader-Willi Research (to L.T.R.), the Neuroscience Institute Research Supports Grant 2020 program (to V.V., and J.F.C.-M.), and the National Institutes of Health (R01GM133845 to V.V. and R01GM125629 to J.F.C.-M.)